@Article{RomeroSchnFerr:2014:InUMCo,
               author = "Romero, Alessandro Gerlinger and Schneider, Klaus and Ferreira, 
                         Mauricio Gon{\c{c}}alves Vieira",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and Department 
                         of Computer Science, University of Kaiserslautern, Germany and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Integrating UML composite structures and fUML",
              journal = "Lecture Notes in Computer Science",
                 year = "2014",
               volume = "8327 LNCS",
                pages = "269--280",
             keywords = "composite structures, static semantics, formal analysis.",
             abstract = "To cope with the complexity of large systems, one usually makes 
                         use of hierarchical structures in their models. To detect and to 
                         remove design errors as soon as possible, these models must be 
                         analyzed in early stages of the development process. For example, 
                         UML models can be analyzed through simulation using the semantics 
                         of a foundational subset for executable UML models (fUML). 
                         However, the composite structures used to describe the hierarchy 
                         of systems in UML is not covered by fUML. In this paper, we 
                         therefore propose a complementary meta-model for fUML covering 
                         parts of UML's composite structures, and elaborate the rules 
                         previously defined in the literature for static semantics. These 
                         rules are described in an axiomatic way using first-order logic so 
                         that a large set of tools can be used for analysis. Our 
                         preliminary evaluation provides results about the applicability of 
                         the meta-model and the soundness of the rules.",
                  doi = "10.1007/978-3-319-04298-5-24",
                  url = "http://dx.doi.org/10.1007/978-3-319-04298-5-24",
                 isbn = "9783319042978",
                 issn = "0302-9743",
                label = "scopus 2014-05 GerlingerRomeroSchnGon{\c{c}}:2014:InUMCo",
             language = "en",
        urlaccessdate = "28 abr. 2024"
}